Order:
  1. A Logical Account of Formal Argumentation.Martin W. A. Caminada & Dov M. Gabbay - 2009 - Studia Logica 93 (2-3):109-145.
    In the current paper, we re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic. In particular, we are able to express the (complete) extensions of an argumentation framework as models of a set of modal logic formulas that represents the argumentation framework. Using this approach, it becomes possible to define the grounded extension in terms of modal logic entailment.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   56 citations  
  2.  46
    A QBF-based formalization of abstract argumentation semantics.Ofer Arieli & Martin W. A. Caminada - 2013 - Journal of Applied Logic 11 (2):229-252.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  25
    A formal account of Socratic-style argumentation.Martin W. A. Caminada - 2008 - Journal of Applied Logic 6 (1):109-132.